/*
 * Copyright (c) 2021
 * Gustavo Valiente gustavo.valiente@protonmail.com
 * Licensed under the Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) license
 */

#ifndef FR_STAGE_1_HARD_BACKWARDS_RIVAL_CHECKPOINTS_H
#define FR_STAGE_1_HARD_BACKWARDS_RIVAL_CHECKPOINTS_H

#include "fr_checkpoint.h"

namespace fr
{

constexpr inline checkpoint stage_1_hard_backwards_rival_checkpoints[] = {
    checkpoint(156, 492, 3.14135),
    checkpoint(156, 496, 3.14135),
    checkpoint(156, 500, 3.14135),
    checkpoint(156, 504, 3.14135),
    checkpoint(156, 508, 3.14135),
    checkpoint(156, 512, 3.14135),
    checkpoint(156, 516, 3.14135),
    checkpoint(156, 520, 3.14135),
    checkpoint(156, 524, 3.14135),
    checkpoint(156, 528, 3.14135),
    checkpoint(156, 532, 3.14135),
    checkpoint(156, 536, 3.14135),
    checkpoint(156, 540, 3.14135),
    checkpoint(156, 544, 3.14135),
    checkpoint(156, 548, 3.14135),
    checkpoint(156, 552, 3.14135),
    checkpoint(156, 556, 3.14135),
    checkpoint(156, 560, 3.14135),
    checkpoint(156, 564, 3.14135),
    checkpoint(156, 568, 3.14135),
    checkpoint(156, 572, 3.14135),
    checkpoint(156, 576, 3.14135),
    checkpoint(156, 580, 3.14135),
    checkpoint(156, 584, 3.14135),
    checkpoint(156, 588, 3.14135),
    checkpoint(156, 592, 3.14135),
    checkpoint(156, 596, 3.14135),
    checkpoint(156, 600, 3.14135),
    checkpoint(156, 604, 3.14135),
    checkpoint(156, 608, 3.14135),
    checkpoint(156, 611, 3.13891),
    checkpoint(156, 614, 3.13427),
    checkpoint(156, 617, 3.12744),
    checkpoint(156, 621, 3.11865),
    checkpoint(156, 624, 3.10791),
    checkpoint(156, 627, 3.09545),
    checkpoint(156, 630, 3.08129),
    checkpoint(156, 634, 3.06542),
    checkpoint(156, 637, 3.04809),
    checkpoint(156, 641, 3.02929),
    checkpoint(156, 644, 3.00903),
    checkpoint(156, 647, 2.98754),
    checkpoint(156, 651, 2.96484),
    checkpoint(156, 654, 2.94091),
    checkpoint(157, 658, 2.91577),
    checkpoint(157, 661, 2.89208),
    checkpoint(157, 665, 2.86962),
    checkpoint(157, 668, 2.84838),
    checkpoint(158, 672, 2.82836),
    checkpoint(158, 676, 2.80957),
    checkpoint(159, 679, 2.79174),
    checkpoint(159, 683, 2.77490),
    checkpoint(160, 686, 2.75903),
    checkpoint(160, 690, 2.74414),
    checkpoint(161, 694, 2.73022),
    checkpoint(162, 697, 2.71459),
    checkpoint(163, 701, 2.69750),
    checkpoint(163, 704, 2.67895),
    checkpoint(164, 708, 2.65893),
    checkpoint(165, 712, 2.63769),
    checkpoint(166, 715, 2.61523),
    checkpoint(167, 719, 2.59155),
    checkpoint(169, 723, 2.56665),
    checkpoint(170, 726, 2.54077),
    checkpoint(171, 730, 2.51391),
    checkpoint(172, 734, 2.48608),
    checkpoint(174, 737, 2.45971),
    checkpoint(175, 741, 2.43481),
    checkpoint(177, 744, 2.41137),
    checkpoint(178, 748, 2.38916),
    checkpoint(180, 751, 2.36816),
    checkpoint(182, 755, 2.34838),
    checkpoint(183, 758, 2.32983),
    checkpoint(185, 761, 2.31225),
    checkpoint(187, 765, 2.29565),
    checkpoint(189, 768, 2.28002),
    checkpoint(191, 771, 2.26293),
    checkpoint(193, 775, 2.24438),
    checkpoint(195, 778, 2.22436),
    checkpoint(198, 781, 2.20312),
    checkpoint(200, 784, 2.18066),
    checkpoint(202, 787, 2.15698),
    checkpoint(205, 790, 2.13208),
    checkpoint(207, 793, 2.10620),
    checkpoint(210, 796, 2.07934),
    checkpoint(212, 799, 2.05395),
    checkpoint(215, 802, 2.03002),
    checkpoint(217, 805, 2.00732),
    checkpoint(220, 808, 1.98583),
    checkpoint(223, 810, 1.96557),
    checkpoint(226, 813, 1.94653),
    checkpoint(229, 816, 1.92846),
    checkpoint(232, 818, 1.91137),
    checkpoint(235, 821, 1.89526),
    checkpoint(238, 823, 1.88012),
    checkpoint(241, 825, 1.86352),
    checkpoint(244, 828, 1.84545),
    checkpoint(247, 830, 1.82592),
    checkpoint(250, 832, 1.80517),
    checkpoint(254, 834, 1.78320),
    checkpoint(257, 836, 1.76000),
    checkpoint(260, 838, 1.73559),
    checkpoint(264, 840, 1.71020),
    checkpoint(267, 842, 1.68383),
    checkpoint(271, 844, 1.65649),
    checkpoint(274, 845, 1.62817),
    checkpoint(278, 847, 1.59887),
    checkpoint(281, 848, 1.56884),
    checkpoint(285, 850, 1.53808),
    checkpoint(288, 851, 1.50659),
    checkpoint(292, 852, 1.47680),
    checkpoint(296, 853, 1.44873),
    checkpoint(299, 855, 1.42211),
    checkpoint(303, 856, 1.39697),
    checkpoint(307, 856, 1.37329),
    checkpoint(311, 857, 1.35083),
    checkpoint(314, 858, 1.32958),
    checkpoint(318, 859, 1.30957),
    checkpoint(322, 859, 1.29077),
    checkpoint(326, 860, 1.27294),
    checkpoint(330, 860, 1.25610),
    checkpoint(333, 860, 1.24023),
    checkpoint(337, 860, 1.22534),
    checkpoint(341, 861, 1.21142),
    checkpoint(345, 861, 1.19824),
    checkpoint(349, 860, 1.18579),
    checkpoint(353, 860, 1.17407),
    checkpoint(356, 860, 1.16308),
    checkpoint(360, 860, 1.15283),
    checkpoint(364, 859, 1.14331),
    checkpoint(368, 859, 1.13427),
    checkpoint(372, 859, 1.12817),
    checkpoint(376, 858, 1.12500),
    checkpoint(379, 857, 1.12451),
    checkpoint(383, 857, 1.12670),
    checkpoint(387, 856, 1.13110),
    checkpoint(391, 855, 1.13769),
    checkpoint(395, 854, 1.14624),
    checkpoint(399, 853, 1.15673),
    checkpoint(402, 853, 1.16650),
    checkpoint(406, 852, 1.17553),
    checkpoint(410, 851, 1.18408),
    checkpoint(414, 850, 1.19213),
    checkpoint(418, 849, 1.19970),
    checkpoint(422, 847, 1.20678),
    checkpoint(425, 846, 1.21337),
    checkpoint(429, 845, 1.21948),
    checkpoint(433, 844, 1.22753),
    checkpoint(437, 843, 1.23754),
    checkpoint(441, 842, 1.24926),
    checkpoint(445, 841, 1.26269),
    checkpoint(449, 840, 1.27783),
    checkpoint(453, 838, 1.29443),
    checkpoint(456, 837, 1.31250),
    checkpoint(460, 836, 1.33203),
    checkpoint(464, 835, 1.35278),
    checkpoint(468, 834, 1.37475),
    checkpoint(472, 833, 1.39794),
    checkpoint(476, 832, 1.42236),
    checkpoint(480, 831, 1.44775),
    checkpoint(484, 830, 1.47412),
    checkpoint(488, 829, 1.50146),
    checkpoint(492, 828, 1.52978),
    checkpoint(496, 827, 1.55908),
    checkpoint(500, 826, 1.58911),
    checkpoint(504, 825, 1.61987),
    checkpoint(508, 825, 1.65136),
    checkpoint(512, 824, 1.68359),
    checkpoint(516, 823, 1.71655),
    checkpoint(520, 823, 1.75024),
    checkpoint(524, 822, 1.78222),
    checkpoint(528, 822, 1.81250),
    checkpoint(532, 822, 1.84106),
    checkpoint(536, 821, 1.86816),
    checkpoint(540, 821, 1.89379),
    checkpoint(544, 821, 1.91796),
    checkpoint(548, 821, 1.94091),
    checkpoint(552, 821, 1.96264),
    checkpoint(556, 821, 1.98315),
    checkpoint(560, 822, 2.00244),
    checkpoint(564, 822, 2.02075),
    checkpoint(568, 822, 2.03808),
    checkpoint(572, 823, 2.05444),
    checkpoint(576, 823, 2.06738),
    checkpoint(580, 824, 2.07714),
    checkpoint(584, 825, 2.08374),
    checkpoint(588, 825, 2.08740),
    checkpoint(591, 826, 2.08837),
    checkpoint(595, 827, 2.08666),
    checkpoint(599, 828, 2.08276),
    checkpoint(603, 829, 2.07666),
    checkpoint(607, 830, 2.06860),
    checkpoint(611, 831, 2.05859),
    checkpoint(615, 832, 2.04687),
    checkpoint(618, 834, 2.03344),
    checkpoint(622, 835, 2.01831),
    checkpoint(626, 836, 2.00170),
    checkpoint(630, 837, 1.98364),
    checkpoint(634, 839, 1.96411),
    checkpoint(638, 840, 1.94335),
    checkpoint(641, 841, 1.92138),
    checkpoint(645, 842, 1.89819),
    checkpoint(649, 844, 1.87377),
    checkpoint(653, 845, 1.84838),
    checkpoint(657, 846, 1.82202),
    checkpoint(661, 848, 1.79467),
    checkpoint(664, 849, 1.76635),
    checkpoint(668, 850, 1.73706),
    checkpoint(672, 851, 1.70703),
    checkpoint(676, 852, 1.67626),
    checkpoint(680, 853, 1.64477),
    checkpoint(684, 854, 1.61254),
    checkpoint(688, 855, 1.57958),
    checkpoint(692, 856, 1.54589),
    checkpoint(696, 857, 1.51147),
    checkpoint(700, 858, 1.47656),
    checkpoint(704, 859, 1.44116),
    checkpoint(708, 859, 1.40527),
    checkpoint(712, 860, 1.36889),
    checkpoint(716, 861, 1.33203),
    checkpoint(720, 861, 1.29467),
    checkpoint(724, 861, 1.25683),
    checkpoint(728, 862, 1.21850),
    checkpoint(732, 862, 1.17968),
    checkpoint(736, 862, 1.14038),
    checkpoint(740, 862, 1.10083),
    checkpoint(743, 862, 1.06103),
    checkpoint(747, 862, 1.02099),
    checkpoint(751, 861, 0.98071),
    checkpoint(755, 861, 0.94262),
    checkpoint(759, 860, 0.90649),
    checkpoint(763, 860, 0.87231),
    checkpoint(766, 859, 0.84008),
    checkpoint(770, 858, 0.80957),
    checkpoint(774, 857, 0.78076),
    checkpoint(777, 856, 0.75341),
    checkpoint(781, 855, 0.72753),
    checkpoint(785, 854, 0.70312),
    checkpoint(788, 852, 0.68017),
    checkpoint(792, 851, 0.65844),
    checkpoint(795, 849, 0.63793),
    checkpoint(798, 848, 0.61621),
    checkpoint(802, 846, 0.59326),
    checkpoint(805, 844, 0.56909),
    checkpoint(808, 842, 0.54370),
    checkpoint(811, 840, 0.51733),
    checkpoint(814, 838, 0.48999),
    checkpoint(817, 836, 0.46166),
    checkpoint(820, 834, 0.43237),
    checkpoint(823, 831, 0.40234),
    checkpoint(826, 829, 0.37158),
    checkpoint(829, 826, 0.34008),
    checkpoint(831, 824, 0.30786),
    checkpoint(834, 821, 0.27490),
    checkpoint(836, 819, 0.24121),
    checkpoint(839, 816, 0.20678),
    checkpoint(841, 813, 0.17187),
    checkpoint(843, 810, 0.13647),
    checkpoint(846, 807, 0.10058),
    checkpoint(848, 804, 0.06420),
    checkpoint(850, 801, 0.02734),
    checkpoint(851, 798, 6.27294),
    checkpoint(853, 795, 6.23510),
    checkpoint(855, 792, 6.19677),
    checkpoint(856, 788, 6.15795),
    checkpoint(858, 785, 6.11865),
    checkpoint(859, 782, 6.07910),
    checkpoint(860, 778, 6.03930),
    checkpoint(861, 775, 5.99926),
    checkpoint(862, 772, 5.95898),
    checkpoint(863, 768, 5.91845),
    checkpoint(864, 765, 5.87768),
    checkpoint(865, 761, 5.83666),
    checkpoint(865, 758, 5.79541),
    checkpoint(865, 754, 5.75390),
    checkpoint(866, 751, 5.71459),
    checkpoint(866, 747, 5.67749),
    checkpoint(866, 744, 5.64233),
    checkpoint(866, 741, 5.60913),
    checkpoint(865, 737, 5.57763),
    checkpoint(865, 734, 5.54785),
    checkpoint(864, 730, 5.51977),
    checkpoint(864, 727, 5.49316),
    checkpoint(863, 724, 5.46801),
    checkpoint(862, 720, 5.44433),
    checkpoint(861, 717, 5.41943),
    checkpoint(860, 714, 5.39355),
    checkpoint(859, 710, 5.36669),
    checkpoint(857, 707, 5.33886),
    checkpoint(856, 704, 5.31005),
    checkpoint(854, 701, 5.28027),
    checkpoint(853, 698, 5.24975),
    checkpoint(851, 695, 5.21850),
    checkpoint(849, 692, 5.18652),
    checkpoint(847, 689, 5.15625),
    checkpoint(845, 686, 5.12768),
    checkpoint(843, 684, 5.10058),
    checkpoint(841, 681, 5.07495),
    checkpoint(838, 678, 5.05078),
    checkpoint(836, 676, 5.02783),
    checkpoint(834, 673, 5.00610),
    checkpoint(831, 671, 4.98559),
    checkpoint(828, 669, 4.96630),
    checkpoint(826, 666, 4.94799),
    checkpoint(823, 664, 4.93066),
    checkpoint(820, 662, 4.91430),
    checkpoint(817, 660, 4.89892),
    checkpoint(814, 658, 4.88452),
    checkpoint(811, 656, 4.87084),
    checkpoint(808, 654, 4.85791),
    checkpoint(805, 652, 4.84326),
    checkpoint(802, 650, 4.82714),
    checkpoint(799, 649, 4.80957),
    checkpoint(796, 647, 4.79052),
    checkpoint(792, 646, 4.77001),
    checkpoint(789, 644, 4.75073),
    checkpoint(785, 643, 4.73242),
    checkpoint(782, 641, 4.71508),
    checkpoint(779, 640, 4.69873),
    checkpoint(775, 639, 4.68334),
    checkpoint(772, 638, 4.66894),
    checkpoint(768, 637, 4.65527),
    checkpoint(764, 636, 4.64233),
    checkpoint(761, 635, 4.63012),
    checkpoint(757, 634, 4.61865),
    checkpoint(753, 633, 4.60791),
    checkpoint(750, 633, 4.59790),
    checkpoint(746, 632, 4.58862),
    checkpoint(742, 631, 4.57983),
    checkpoint(738, 631, 4.57153),
    checkpoint(735, 630, 4.56372),
    checkpoint(731, 630, 4.55639),
    checkpoint(727, 629, 4.54956),
    checkpoint(723, 629, 4.54321),
    checkpoint(719, 629, 4.53735),
    checkpoint(715, 629, 4.53198),
    checkpoint(711, 628, 4.52709),
    checkpoint(708, 628, 4.52270),
    checkpoint(704, 628, 4.51855),
    checkpoint(700, 628, 4.51464),
    checkpoint(696, 628, 4.51098),
    checkpoint(692, 628, 4.50756),
    checkpoint(688, 628, 4.50683),
    checkpoint(684, 629, 4.50878),
    checkpoint(680, 629, 4.51293),
    checkpoint(676, 629, 4.51928),
    checkpoint(672, 629, 4.52758),
    checkpoint(668, 629, 4.53784),
    checkpoint(664, 630, 4.54980),
    checkpoint(660, 630, 4.56347),
    checkpoint(656, 630, 4.57641),
    checkpoint(652, 631, 4.58862),
    checkpoint(648, 631, 4.60009),
    checkpoint(644, 631, 4.61083),
    checkpoint(640, 632, 4.62084),
    checkpoint(636, 632, 4.63012),
    checkpoint(632, 632, 4.64135),
    checkpoint(628, 633, 4.65429),
    checkpoint(623, 633, 4.66894),
    checkpoint(619, 633, 4.68505),
    checkpoint(615, 634, 4.70263),
    checkpoint(611, 634, 4.72167),
    checkpoint(607, 634, 4.74218),
    checkpoint(603, 634, 4.76391),
    checkpoint(599, 635, 4.78686),
    checkpoint(595, 635, 4.81103),
    checkpoint(591, 635, 4.83642),
    checkpoint(587, 635, 4.86279),
    checkpoint(582, 635, 4.89013),
    checkpoint(578, 635, 4.91601),
    checkpoint(574, 635, 4.94042),
    checkpoint(570, 635, 4.96337),
    checkpoint(566, 635, 4.98510),
    checkpoint(562, 635, 5.00561),
    checkpoint(558, 634, 5.02490),
    checkpoint(554, 634, 5.04321),
    checkpoint(550, 634, 5.06054),
    checkpoint(546, 633, 5.07690),
    checkpoint(542, 633, 5.09228),
    checkpoint(538, 632, 5.10668),
    checkpoint(534, 632, 5.12036),
    checkpoint(530, 631, 5.13330),
    checkpoint(526, 630, 5.14550),
    checkpoint(522, 630, 5.15698),
    checkpoint(518, 629, 5.16772),
    checkpoint(514, 628, 5.17773),
    checkpoint(510, 627, 5.18701),
    checkpoint(506, 626, 5.19580),
    checkpoint(502, 625, 5.20654),
    checkpoint(498, 624, 5.21899),
    checkpoint(494, 623, 5.23315),
    checkpoint(490, 622, 5.24902),
    checkpoint(486, 621, 5.26635),
    checkpoint(482, 619, 5.28515),
    checkpoint(478, 618, 5.30541),
    checkpoint(475, 617, 5.32690),
    checkpoint(471, 615, 5.34960),
    checkpoint(467, 614, 5.37353),
    checkpoint(463, 612, 5.39868),
    checkpoint(460, 610, 5.42480),
    checkpoint(456, 609, 5.45190),
    checkpoint(452, 607, 5.47998),
    checkpoint(449, 605, 5.50903),
    checkpoint(445, 603, 5.53906),
    checkpoint(442, 602, 5.56982),
    checkpoint(438, 600, 5.60131),
    checkpoint(435, 598, 5.63354),
    checkpoint(431, 595, 5.66650),
    checkpoint(428, 593, 5.70019),
    checkpoint(425, 591, 5.73461),
    checkpoint(422, 589, 5.76953),
    checkpoint(418, 586, 5.80249),
    checkpoint(415, 584, 5.83374),
    checkpoint(412, 581, 5.86328),
    checkpoint(409, 579, 5.89111),
    checkpoint(407, 576, 5.91748),
    checkpoint(404, 573, 5.94238),
    checkpoint(401, 571, 5.96826),
    checkpoint(398, 568, 5.99511),
    checkpoint(396, 565, 6.02294),
    checkpoint(393, 562, 6.05175),
    checkpoint(391, 559, 6.08154),
    checkpoint(389, 556, 6.11206),
    checkpoint(386, 553, 6.14331),
    checkpoint(384, 550, 6.17529),
    checkpoint(382, 546, 6.20800),
    checkpoint(380, 543, 6.24145),
    checkpoint(378, 540, 6.27563),
    checkpoint(377, 537, 0.02734),
    checkpoint(375, 533, 0.06250),
    checkpoint(374, 530, 0.09814),
    checkpoint(372, 526, 0.13427),
    checkpoint(371, 523, 0.17089),
    checkpoint(370, 519, 0.20800),
    checkpoint(368, 516, 0.24560),
    checkpoint(367, 512, 0.28369),
    checkpoint(367, 509, 0.32226),
    checkpoint(366, 505, 0.36132),
    checkpoint(365, 501, 0.40063),
    checkpoint(365, 498, 0.44018),
    checkpoint(364, 494, 0.47998),
    checkpoint(364, 491, 0.52001),
    checkpoint(364, 487, 0.56030),
    checkpoint(364, 483, 0.60083),
    checkpoint(364, 480, 0.64160),
    checkpoint(364, 476, 0.68261),
    checkpoint(364, 473, 0.72387),
    checkpoint(365, 469, 0.76538),
    checkpoint(365, 466, 0.80712),
    checkpoint(366, 462, 0.84912),
    checkpoint(367, 459, 0.89135),
    checkpoint(368, 456, 0.93383),
    checkpoint(369, 452, 0.97656),
    checkpoint(370, 449, 1.01953),
    checkpoint(372, 446, 1.06274),
    checkpoint(373, 443, 1.10620),
    checkpoint(375, 440, 1.14990),
    checkpoint(376, 437, 1.19384),
    checkpoint(378, 434, 1.23779),
    checkpoint(380, 431, 1.28173),
    checkpoint(382, 429, 1.32568),
    checkpoint(384, 426, 1.36962),
    checkpoint(386, 424, 1.41357),
    checkpoint(388, 421, 1.45507),
    checkpoint(391, 419, 1.49438),
    checkpoint(393, 417, 1.53149),
    checkpoint(396, 415, 1.56665),
    checkpoint(398, 413, 1.59985),
    checkpoint(401, 411, 1.63134),
    checkpoint(404, 409, 1.66113),
    checkpoint(407, 407, 1.68920),
    checkpoint(410, 406, 1.71582),
    checkpoint(413, 404, 1.74096),
    checkpoint(416, 403, 1.76464),
    checkpoint(419, 402, 1.78710),
    checkpoint(422, 401, 1.80834),
    checkpoint(425, 400, 1.83081),
    checkpoint(428, 399, 1.85449),
    checkpoint(431, 398, 1.87939),
    checkpoint(435, 398, 1.90527),
    checkpoint(438, 397, 1.93212),
    checkpoint(441, 397, 1.95996),
    checkpoint(445, 396, 1.98632),
    checkpoint(448, 396, 2.01123),
    checkpoint(451, 396, 2.03466),
    checkpoint(455, 396, 2.05688),
    checkpoint(458, 396, 2.07788),
    checkpoint(462, 396, 2.09765),
    checkpoint(465, 396, 2.11621),
    checkpoint(469, 397, 2.13378),
    checkpoint(472, 397, 2.15039),
    checkpoint(475, 398, 2.16601),
    checkpoint(479, 399, 2.18066),
    checkpoint(482, 399, 2.19433),
    checkpoint(486, 400, 2.20727),
    checkpoint(489, 401, 2.21948),
    checkpoint(493, 402, 2.23095),
    checkpoint(496, 403, 2.24169),
    checkpoint(499, 404, 2.25170),
    checkpoint(503, 406, 2.26098),
    checkpoint(506, 407, 2.26977),
    checkpoint(510, 408, 2.27807),
    checkpoint(513, 410, 2.28588),
    checkpoint(516, 411, 2.29321),
    checkpoint(520, 413, 2.30004),
    checkpoint(523, 414, 2.30395),
    checkpoint(526, 416, 2.30517),
    checkpoint(530, 418, 2.30371),
    checkpoint(533, 420, 2.30004),
    checkpoint(536, 422, 2.29418),
    checkpoint(540, 423, 2.28637),
    checkpoint(543, 425, 2.27661),
    checkpoint(546, 427, 2.26513),
    checkpoint(550, 429, 2.25195),
    checkpoint(553, 431, 2.23706),
    checkpoint(556, 434, 2.22070),
    checkpoint(559, 436, 2.20288),
    checkpoint(563, 438, 2.18359),
    checkpoint(566, 440, 2.16284),
    checkpoint(569, 442, 2.14086),
    checkpoint(573, 444, 2.11767),
    checkpoint(576, 446, 2.09570),
    checkpoint(579, 448, 2.07495),
    checkpoint(583, 450, 2.05541),
    checkpoint(586, 453, 2.03710),
    checkpoint(590, 455, 2.01977),
    checkpoint(593, 457, 2.00341),
    checkpoint(596, 459, 1.98803),
    checkpoint(600, 461, 1.97119),
    checkpoint(603, 463, 1.95288),
    checkpoint(607, 465, 1.93310),
    checkpoint(610, 467, 1.91210),
    checkpoint(614, 469, 1.88989),
    checkpoint(618, 471, 1.86645),
    checkpoint(621, 472, 1.84179),
    checkpoint(625, 474, 1.81616),
    checkpoint(628, 476, 1.78955),
    checkpoint(632, 478, 1.76196),
    checkpoint(636, 479, 1.73339),
    checkpoint(640, 481, 1.70385),
    checkpoint(643, 482, 1.67358),
    checkpoint(647, 484, 1.64257),
    checkpoint(651, 485, 1.61083),
    checkpoint(655, 487, 1.57836),
    checkpoint(658, 488, 1.54760),
    checkpoint(662, 489, 1.51855),
    checkpoint(666, 490, 1.49096),
    checkpoint(670, 491, 1.46484),
    checkpoint(674, 492, 1.44018),
    checkpoint(678, 493, 1.41699),
    checkpoint(681, 494, 1.39501),
    checkpoint(685, 495, 1.37426),
    checkpoint(689, 495, 1.35229),
    checkpoint(693, 496, 1.32910),
    checkpoint(697, 496, 1.30468),
    checkpoint(701, 497, 1.27929),
    checkpoint(705, 497, 1.25292),
    checkpoint(709, 497, 1.22558),
    checkpoint(713, 497, 1.19726),
    checkpoint(717, 497, 1.16796),
    checkpoint(721, 497, 1.13793),
    checkpoint(725, 497, 1.10717),
    checkpoint(728, 497, 1.07568),
    checkpoint(732, 497, 1.04345),
    checkpoint(736, 496, 1.01049),
    checkpoint(740, 496, 0.97680),
    checkpoint(744, 495, 0.94238),
    checkpoint(748, 494, 0.90747),
    checkpoint(751, 494, 0.87207),
    checkpoint(755, 493, 0.83618),
    checkpoint(759, 492, 0.80224),
    checkpoint(762, 491, 0.77001),
    checkpoint(766, 490, 0.73950),
    checkpoint(769, 488, 0.71069),
    checkpoint(773, 487, 0.68334),
    checkpoint(776, 485, 0.65747),
    checkpoint(780, 484, 0.63305),
    checkpoint(783, 482, 0.61010),
    checkpoint(786, 480, 0.58837),
    checkpoint(790, 479, 0.56787),
    checkpoint(793, 477, 0.54614),
    checkpoint(796, 475, 0.52319),
    checkpoint(799, 472, 0.49902),
    checkpoint(802, 470, 0.47363),
    checkpoint(805, 468, 0.44726),
    checkpoint(808, 466, 0.41992),
    checkpoint(811, 463, 0.39160),
    checkpoint(814, 461, 0.36230),
    checkpoint(816, 458, 0.33471),
    checkpoint(819, 456, 0.30859),
    checkpoint(821, 453, 0.28393),
    checkpoint(824, 450, 0.26074),
    checkpoint(826, 447, 0.23876),
    checkpoint(829, 445, 0.21801),
    checkpoint(831, 442, 0.19848),
    checkpoint(833, 439, 0.18017),
    checkpoint(835, 436, 0.16284),
    checkpoint(837, 432, 0.14648),
    checkpoint(839, 429, 0.13110),
    checkpoint(841, 426, 0.11669),
    checkpoint(843, 423, 0.10302),
    checkpoint(844, 419, 0.09008),
    checkpoint(846, 416, 0.07788),
    checkpoint(848, 413, 0.06396),
    checkpoint(849, 409, 0.04833),
    checkpoint(851, 406, 0.03125),
    checkpoint(852, 402, 0.01269),
    checkpoint(853, 399, 6.27563),
    checkpoint(855, 395, 6.25439),
    checkpoint(856, 392, 6.23193),
    checkpoint(857, 388, 6.20825),
    checkpoint(858, 384, 6.18334),
    checkpoint(859, 381, 6.15747),
    checkpoint(860, 377, 6.13061),
    checkpoint(860, 373, 6.10278),
    checkpoint(861, 369, 6.07397),
    checkpoint(862, 366, 6.04418),
    checkpoint(862, 362, 6.01367),
    checkpoint(863, 358, 5.98242),
    checkpoint(863, 354, 5.95043),
    checkpoint(863, 351, 5.91772),
    checkpoint(864, 347, 5.88427),
    checkpoint(864, 343, 5.85009),
    checkpoint(864, 339, 5.81542),
    checkpoint(863, 336, 5.78027),
    checkpoint(863, 332, 5.74462),
    checkpoint(863, 328, 5.70849),
    checkpoint(862, 324, 5.67187),
    checkpoint(862, 321, 5.63720),
    checkpoint(861, 317, 5.60449),
    checkpoint(861, 313, 5.57348),
    checkpoint(860, 310, 5.54418),
    checkpoint(859, 306, 5.51660),
    checkpoint(858, 303, 5.49047),
    checkpoint(857, 299, 5.46582),
    checkpoint(855, 296, 5.44018),
    checkpoint(854, 292, 5.41357),
    checkpoint(853, 289, 5.38598),
    checkpoint(851, 285, 5.35742),
    checkpoint(849, 282, 5.32788),
    checkpoint(848, 279, 5.29760),
    checkpoint(846, 276, 5.26660),
    checkpoint(844, 272, 5.23486),
    checkpoint(842, 269, 5.20483),
    checkpoint(840, 266, 5.17651),
    checkpoint(838, 263, 5.14965),
    checkpoint(836, 260, 5.12426),
    checkpoint(833, 258, 5.10034),
    checkpoint(831, 255, 5.07763),
    checkpoint(828, 252, 5.05615),
    checkpoint(826, 250, 5.03588),
    checkpoint(823, 247, 5.01684),
    checkpoint(821, 245, 4.99877),
    checkpoint(818, 242, 4.98168),
    checkpoint(815, 240, 4.96557),
    checkpoint(812, 237, 4.95043),
    checkpoint(809, 235, 4.93627),
    checkpoint(806, 233, 4.92285),
    checkpoint(803, 231, 4.91015),
    checkpoint(800, 229, 4.89819),
    checkpoint(797, 227, 4.88696),
    checkpoint(794, 225, 4.87646),
    checkpoint(790, 223, 4.86669),
    checkpoint(787, 222, 4.85766),
    checkpoint(784, 220, 4.84912),
    checkpoint(780, 218, 4.84106),
    checkpoint(777, 217, 4.83349),
    checkpoint(773, 215, 4.82641),
    checkpoint(770, 214, 4.81982),
    checkpoint(766, 212, 4.81372),
    checkpoint(763, 211, 4.80810),
    checkpoint(759, 210, 4.80297),
    checkpoint(756, 208, 4.79833),
    checkpoint(752, 207, 4.79394),
    checkpoint(748, 206, 4.78979),
    checkpoint(745, 205, 4.78588),
    checkpoint(741, 204, 4.78222),
    checkpoint(737, 203, 4.77880),
    checkpoint(733, 202, 4.77563),
    checkpoint(729, 201, 4.77270),
    checkpoint(726, 200, 4.77001),
    checkpoint(722, 199, 4.76757),
    checkpoint(718, 198, 4.76538),
    checkpoint(714, 197, 4.76342),
    checkpoint(710, 196, 4.76171),
    checkpoint(706, 195, 4.76025),
    checkpoint(702, 195, 4.75903),
    checkpoint(698, 194, 4.75805),
    checkpoint(694, 193, 4.75732),
    checkpoint(690, 193, 4.75683),
    checkpoint(686, 192, 4.75659),
    checkpoint(682, 191, 4.75659),
    checkpoint(678, 191, 4.75659),
    checkpoint(674, 190, 4.75659),
    checkpoint(670, 190, 4.75659),
    checkpoint(666, 189, 4.75659),
    checkpoint(662, 189, 4.75659),
    checkpoint(658, 188, 4.75659),
    checkpoint(654, 188, 4.75659),
    checkpoint(650, 187, 4.75659),
    checkpoint(646, 187, 4.75659),
    checkpoint(642, 186, 4.75659),
    checkpoint(638, 186, 4.75659),
    checkpoint(634, 185, 4.75659),
    checkpoint(630, 185, 4.75659),
    checkpoint(625, 185, 4.75659),
    checkpoint(621, 184, 4.75659),
    checkpoint(617, 184, 4.75659),
    checkpoint(613, 183, 4.75659),
    checkpoint(609, 183, 4.75659),
    checkpoint(605, 183, 4.75659),
    checkpoint(601, 182, 4.75659),
    checkpoint(596, 182, 4.75659),
    checkpoint(592, 182, 4.75659),
    checkpoint(588, 181, 4.75659),
    checkpoint(584, 181, 4.75659),
    checkpoint(580, 181, 4.75659),
    checkpoint(576, 180, 4.75659),
    checkpoint(571, 180, 4.75659),
    checkpoint(567, 180, 4.75659),
    checkpoint(563, 180, 4.75659),
    checkpoint(559, 179, 4.75659),
    checkpoint(555, 179, 4.75659),
    checkpoint(550, 179, 4.75659),
    checkpoint(546, 179, 4.75659),
    checkpoint(542, 178, 4.75659),
    checkpoint(538, 178, 4.75659),
    checkpoint(534, 178, 4.75659),
    checkpoint(529, 178, 4.75659),
    checkpoint(525, 177, 4.75659),
    checkpoint(521, 177, 4.75659),
    checkpoint(517, 177, 4.75659),
    checkpoint(513, 177, 4.75659),
    checkpoint(508, 176, 4.75659),
    checkpoint(504, 176, 4.75659),
    checkpoint(500, 176, 4.75415),
    checkpoint(496, 176, 4.74951),
    checkpoint(492, 175, 4.74267),
    checkpoint(487, 175, 4.73388),
    checkpoint(483, 175, 4.72314),
    checkpoint(479, 175, 4.71069),
    checkpoint(475, 175, 4.69897),
    checkpoint(471, 174, 4.68798),
    checkpoint(466, 174, 4.67773),
    checkpoint(462, 174, 4.66821),
    checkpoint(458, 174, 4.65917),
    checkpoint(454, 174, 4.65063),
    checkpoint(450, 174, 4.64257),
    checkpoint(445, 174, 4.63500),
    checkpoint(441, 174, 4.62548),
    checkpoint(437, 174, 4.61401),
    checkpoint(433, 174, 4.60083),
    checkpoint(428, 174, 4.58593),
    checkpoint(424, 174, 4.56958),
    checkpoint(420, 174, 4.55175),
    checkpoint(416, 174, 4.53491),
    checkpoint(412, 174, 4.51904),
    checkpoint(408, 174, 4.50415),
    checkpoint(403, 175, 4.49023),
    checkpoint(399, 175, 4.47705),
    checkpoint(395, 175, 4.46459),
    checkpoint(391, 176, 4.45288),
    checkpoint(387, 176, 4.44189),
    checkpoint(383, 176, 4.43164),
    checkpoint(378, 177, 4.42211),
    checkpoint(374, 177, 4.41308),
    checkpoint(370, 178, 4.40454),
    checkpoint(366, 178, 4.39648),
    checkpoint(362, 179, 4.38891),
    checkpoint(358, 180, 4.38183),
    checkpoint(354, 180, 4.37280),
    checkpoint(350, 181, 4.36181),
    checkpoint(345, 182, 4.34912),
    checkpoint(341, 183, 4.33471),
    checkpoint(337, 184, 4.31860),
    checkpoint(333, 184, 4.30102),
    checkpoint(329, 185, 4.28198),
    checkpoint(325, 186, 4.26147),
    checkpoint(321, 187, 4.23974),
    checkpoint(317, 188, 4.21679),
    checkpoint(313, 190, 4.19262),
    checkpoint(309, 191, 4.16723),
    checkpoint(305, 192, 4.14086),
    checkpoint(301, 193, 4.11352),
    checkpoint(298, 195, 4.08520),
    checkpoint(294, 196, 4.05590),
    checkpoint(290, 197, 4.02587),
    checkpoint(286, 199, 3.99755),
    checkpoint(282, 201, 3.97070),
    checkpoint(279, 202, 3.94531),
    checkpoint(275, 204, 3.92138),
    checkpoint(271, 206, 3.89868),
    checkpoint(268, 208, 3.87719),
    checkpoint(264, 209, 3.85693),
    checkpoint(261, 211, 3.83789),
    checkpoint(257, 213, 3.81982),
    checkpoint(254, 216, 3.80273),
    checkpoint(250, 218, 3.78662),
    checkpoint(247, 220, 3.77148),
    checkpoint(244, 222, 3.75732),
    checkpoint(241, 225, 3.74389),
    checkpoint(237, 227, 3.73120),
    checkpoint(234, 229, 3.71923),
    checkpoint(231, 232, 3.70800),
    checkpoint(228, 235, 3.69750),
    checkpoint(225, 237, 3.68774),
    checkpoint(222, 240, 3.67626),
    checkpoint(219, 243, 3.66308),
    checkpoint(216, 245, 3.64819),
    checkpoint(214, 248, 3.63183),
    checkpoint(211, 251, 3.61401),
    checkpoint(208, 254, 3.59472),
    checkpoint(205, 257, 3.57641),
    checkpoint(203, 260, 3.55908),
    checkpoint(200, 263, 3.54028),
    checkpoint(198, 266, 3.52001),
    checkpoint(195, 269, 3.49853),
    checkpoint(193, 272, 3.47583),
    checkpoint(190, 275, 3.45434),
    checkpoint(188, 279, 3.43408),
    checkpoint(186, 282, 3.41503),
    checkpoint(184, 285, 3.39697),
    checkpoint(181, 289, 3.37988),
    checkpoint(179, 292, 3.36376),
    checkpoint(177, 295, 3.34619),
    checkpoint(175, 299, 3.32714),
    checkpoint(174, 302, 3.30664),
    checkpoint(172, 306, 3.28491),
    checkpoint(170, 309, 3.26196),
    checkpoint(168, 313, 3.24023),
    checkpoint(167, 317, 3.21972),
    checkpoint(165, 320, 3.20043),
    checkpoint(164, 324, 3.19),
    checkpoint(164, 328, 3.19),
    checkpoint(164, 331, 3.19),
    checkpoint(164, 335, 3.19),
    checkpoint(164, 339, 3.19),
    checkpoint(163, 343, 3.19),
    checkpoint(163, 346, 3.18),
    checkpoint(163, 350, 3.18),
    checkpoint(163, 354, 3.18),
    checkpoint(163, 358, 3.18),
    checkpoint(162, 362, 3.18),
    checkpoint(162, 366, 3.18),
    checkpoint(162, 370, 3.18),
    checkpoint(162, 373, 3.17),
    checkpoint(162, 377, 3.17),
    checkpoint(161, 381, 3.17),
    checkpoint(161, 385, 3.17),
    checkpoint(161, 389, 3.17),
    checkpoint(161, 393, 3.17),
    checkpoint(161, 397, 3.17),
    checkpoint(160, 401, 3.17),
    checkpoint(160, 405, 3.16),
    checkpoint(160, 409, 3.16),
    checkpoint(160, 413, 3.16),
    checkpoint(160, 417, 3.16),
    checkpoint(159, 421, 3.16),
    checkpoint(159, 425, 3.16),
    checkpoint(159, 429, 3.16),
    checkpoint(159, 433, 3.16),
    checkpoint(159, 437, 3.15),
    checkpoint(158, 442, 3.15),
    checkpoint(158, 446, 3.15),
    checkpoint(158, 450, 3.15),
    checkpoint(158, 454, 3.15),
    checkpoint(158, 458, 3.15),
    checkpoint(158, 462, 3.15),
    checkpoint(157, 466, 3.14),
    checkpoint(157, 470, 3.14),
    checkpoint(157, 474, 3.14),
    checkpoint(157, 478, 3.14),
    checkpoint(157, 482, 3.14),
    checkpoint(157, 487, 3.14),
};

}

#endif
